Type theory

Results: 3552



#Item
221Auction theory / Auctions / Game theory / Mechanism design / Mathematics / Marketing / VickreyClarkeGroves auction / Valuation / Auction / Submodular set function / Vickrey auction / Bayesian-optimal mechanism

CS364B: Exercise Set #4 Due by the beginning of class on Wednesday, February 5, 2014 Instructions: (1) Turn in your solutions to all of the following exercises directly to one of the TA (Okke). Please type your solutions

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2014-01-31 23:29:10
222Software engineering / Declarative programming / Computer programming / Functional programming / Theoretical computer science / Data types / Type theory / Computability theory / Lambda calculus / Recursion / Algebraic data type / Anonymous function

PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama

Add to Reading List

Source URL: src.acm.org

Language: English - Date: 2016-06-08 14:54:18
223Software engineering / Computing / Data types / Programming language theory / Type theory / Type system / Array data type / Scala / Abstract data type / Variable / Type inference / HindleyMilner type system

Dynamic Inference of Abstract Types Philip J. Guo Jeff H. Perkins Stephen McCamant

Add to Reading List

Source URL: pgbovine.net

Language: English - Date: 2014-01-03 23:24:44
224Mathematics / Data management / Mathematical notation / Tuple / Type theory

A Truly Dynamic Data Structure for Top-k Queries on Uncertain Data Manish Patil, Rahul Shah, Sharma V. Thankachan Louisiana State University, USA July 20, 2011

Add to Reading List

Source URL: ssdbm2011.ssdbm.org

Language: English - Date: 2011-09-01 18:39:35
225Software engineering / Computer programming / Programming language theory / Object-oriented programming languages / Combinatory logic / Enumerated type / Contract / Objective-C / Scope / Eiffel / Racket

Oh Lord, Please Don’t Let Contracts Be Misunderstood (Functional Pearl) Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen PLT, USA {chrdimo,maxsnew,robby,matthias}@racket-lang.org

Add to Reading List

Source URL: www.eecs.northwestern.edu

Language: English - Date: 2016-08-09 10:09:16
226Software engineering / Computer programming / Computing / Object-oriented programming languages / Subroutines / Data types / Functional programming / Type theory / Parameter / Type system / Higher-order function / Pointer

Towards Gradual Typing in Jython Michael M. Vitousek Shashank Bharadwaj Jeremy G. Siek

Add to Reading List

Source URL: homes.soic.indiana.edu

Language: English - Date: 2015-04-23 14:36:51
227Computability theory / Mathematics / Mathematical logic / Theoretical computer science / Recursion / Theory of computation / Primitive recursive function / Recursive data type / Mutual recursion / Automated theorem proving / Theorem / Presentation of a group

The Theory behind TheoryMine Alan Bundy School of Informatics, University of Edinburgh, Edinburgh EH8 9AB, Edinburgh, Scotland. Lucas Dixon

Add to Reading List

Source URL: dream.inf.ed.ac.uk

Language: English - Date: 2010-07-11 12:18:50
228Software engineering / Computer programming / Computing / Functional languages / Functional programming / Object-oriented programming languages / Scripting languages / Type theory / Haskell / Cabal / Monad / Type class

Hoogle Overview by Neil Mitchell This article gives an overview of the Hoogle tool. We describe the history of Hoogle, the improvements that have been made this summer, and plans for future feature

Add to Reading List

Source URL: community.haskell.org

Language: English - Date: 2013-10-12 04:58:09
229Theoretical computer science / Mathematics / Type theory / Mathematical logic / Formal methods / Logic in computer science / Programming language theory / Twelf / POPLmark challenge / Lambda calculus / Theorem / Formal language

Microsoft PowerPoint - SASyLF-wmm08-web.ppt

Add to Reading List

Source URL: www.cis.upenn.edu

Language: English - Date: 2008-10-15 15:02:54
230Demography / Demographics / Population / Human geography / Millennials / StraussHowe generational theory / Generation / Adtech / Baby boomers

TYPE A GROUP NEWSLETTER #13 THE MILLENNIAL HUSTLE

Add to Reading List

Source URL: bobhoffmanswebsite.com

Language: English - Date: 2016-07-16 19:53:50
UPDATE